Enumerating bases of self-dual matroids

نویسنده

  • Molly Maxwell
چکیده

We define involutively self-dual matroids and prove a relationship between the bases and selfdual bases of these matroids. We use this relationship to prove an enumeration formula for the higher dimensional spanning trees in a class of cell complexes. This gives a new proof of Tutte’s theorem that the number of spanning trees of a central reflex is a perfect square and solves a problem posed by Kalai about higher dimensional spanning trees in simplicial complexes. We also give a weighted version of the latter result. The critical group of a graph is a finite abelian group whose order is the number of spanning trees of the graph. We prove that the critical group of a central reflex is a direct sum of two copies of an abelian group. We conclude with an analogous result in Kalai’s setting. Résumé. Nous définissons la notion de matroide auto-dual par involution et nous démontrons une relation entre les bases et les bases auto-duales de ces matroides. Nous utilisons le relation pour démontrer une formule d’énumération pour les arbres couvrants de dimension supérieure dans une classe de complexes de cellules. Ceci mène à une nouvelle démonstration d’un théorème de Tutte – le nombre d’arbres couvrants d’un central reflex est un carré parfait – et résoud un problème posé par Kalai concernant les arbres couvrants de dimension supérieure à 1 de complexes simpliciaux. Nous donnons également une version pondérée de ce dernier résultat. Le groupe critique d’un graphe est un groupe abélien fini dont l’ordre est le nombre d’arbres couvrants du graphe. Nous prouvons que le groupe critique d’un central reflex est la somme directe de deux copies d’un groupe abéliens. Nous concluons avec un résultat analogue dans le cadre posé par Kalai.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

BASES AND CIRCUITS OF FUZZIFYING MATROIDS

In this paper, as an application of fuzzy matroids, the fuzzifying greedy algorithm is proposed and an achievableexample is given. Basis axioms and circuit axioms of fuzzifying matroids, which are the semantic extension for thebasis axioms and circuit axioms of crisp matroids respectively, are presented. It is proved that a fuzzifying matroidis equivalent to a mapping which satisfies the basis ...

متن کامل

ar X iv : m at h / 04 10 42 5 v 1 [ m at h . C O ] 1 9 O ct 2 00 4 MULTI - PATH MATROIDS

We introduce the minor-closed, dual-closed class of multi-path matroids. We give a polynomial-time algorithm for computing the Tutte polynomial of a multi-path matroid, we describe their basis activities, and we prove some basic structural properties. Key elements of this work are two complementary perspectives we develop for these matroids: on the one hand, multi-path matroids are transversal ...

متن کامل

ar X iv : m at h . C O / 0 41 04 25 v 1 1 9 O ct 2 00 4 MULTI - PATH MATROIDS

We introduce the minor-closed, dual-closed class of multi-path matroids. We give a polynomial-time algorithm for computing the Tutte polynomial of a multi-path matroid, we describe their basis activities, and we prove some basic structural properties. Key elements of this work are two complementary perspectives we develop for these matroids: on the one hand, multi-path matroids are transversal ...

متن کامل

Structural properties of fuzzy graphs

Matroids are important combinatorial structures and connect close-lywith graphs. Matroids and graphs were all generalized to fuzzysetting respectively. This paper tries to study  connections betweenfuzzy matroids and fuzzy graphs. For a given fuzzy graph, we firstinduce a sequence of matroids  from a sequence of crisp graph, i.e.,cuts of the fuzzy graph. A fuzzy matroid, named graph fuzzy matro...

متن کامل

On the Complexity of Some Enumeration Problems for Matroids

Let M be a matroid defined by an independence oracle on ground set S, and let A ⊆ S. We present an incremental polynomial-time algorithm for enumerating all minimal (maximal) subsets of S which span (do not span) A. Special cases of these problems include the generation of bases, circuits, hyperplanes, flats of given rank, circuits through a given element, generalized Steiner trees and multiway...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • J. Comb. Theory, Ser. A

دوره 116  شماره 

صفحات  -

تاریخ انتشار 2009